readline_add_history

(PHP 4, PHP 5)

readline_add_history — Añade una línea al historial

void readline_add_history ( string $line )

Esta función añade una línea al historial de líneas de comandos.